#ifndef LECTEURPHRASEAVECARBRE_H_
#define LECTEURPHRASEAVECARBRE_H_

#include "Symbole.h"
#include "LecteurSymbole.h"
#include "TableSymboles.h"
#include "Arbre.h"

#include <string>
using namespace std;

/*! \file LecterPhraseAvecArbre.h
    \brief La spécification de la classe LecteurPhraseAvecArbre
   
    Décrit la liste des méthodes et attributs associés au parcours du fichier,
 *     tout en construisant un arbre abstrait.
    \author Fraisse A. & Froment J.
    \date 06/2012
 */

/*! \class LecteurPhraseAvecArbre
    \brief La classe représentant le lecteur de phrase.
   
 Ce lecteur de phrase est constitué des méthodes :
 *  \li analyse
 *  \li getTs
 *  \li getArbre
 *   \li getArbre
 *   \li  Noeud* programme  
    \li seqInst	
    *\li  inst
    *\li  instSi
    *\li  instTq
    *\li  instRepeter
    *\li  instPour
    *\li  instSwitch
    *\li  affectation
    *\li  expression
    *\li  lire
    *\li  ecrire
    *\li  expArit
    *\li  expBool
    *\li  terme
    *\li  facteur
    *\li  relation
    *\li  condition
    *\li opRel
    *\li opUnaire
   * \li opAdd
    *\li opMult
   * \li testerSymCour
    *\li sauterSymCour
    *\li erreur
 */

class LecteurPhraseAvecArbre
{
public:
	LecteurPhraseAvecArbre(string nomFich);	 // Construit un lecteur de phrase pour interpreter
	                                         //  le programme dans le fichier nomFich

	void analyse();  // Si le contenu du fichier est conforme à la grammaire,
	                 //   cette méthode se termine normalement et affiche un message "Syntaxe correcte".
                         //   la table des symboles (ts) et l'arbre abstrait (arbre) auront été construits
	                 // Sinon, le programme sera interrompu (exit).

	inline TableSymboles getTs ()    { return ts;    } // accesseur	
	inline Noeud*        getArbre () { return arbre; } // accesseur
	

private:
    LecteurSymbole ls;    // le lecteur de symboles utilisé pour analyser le fichier
    TableSymboles  ts;    // la table des symboles valués
    Noeud*         arbre; // l'arbre abstrait
    ofstream fichierTrad;

    // implémentation de la grammaire
    Noeud* programme();   //   <programme> ::= debut <seqInst> fin <EOF>
    Noeud* seqInst();	    //     <seqIns>  ::= <inst> ; { <inst> ; }
    Noeud* inst();	    //        <inst> ::= <affectation>
    Noeud* instSi();      // <instSi> ::= si <expBool> <seqInst> { sinonsi <expBool> <seqInst> } [ sinon <seqInst> ] finsi
    Noeud* instTq();      // <instTq> ::= tantque <expBool> <seqInst> fintantque
    Noeud* instRepeter(); // <instRepeter> ::= repeter <seqInst> jusqua <expBool>
    Noeud* instPour();    // <instPour> :: = pour (<affectation>; <expBool>; <affectation> ) <seqInst> finpour 
    Noeud* instSwitch();   // <instSwitch> :: = switch (<variable>) :  {case <entier> <seqInst> } [ default <seqInst> ] finswitch
    
    Noeud* affectation();	// <affectation> ::= <variable> = <expression>
    Noeud* expression();	// <expressionArit> | <expBool>
    
    Noeud* lire();        // <lire> ::= lire ( <variable> )
    Noeud* ecrire();      // <ecrire> ::= ecrire ( <expression> | <chaine> )
    
    
    Noeud* expArit();     // <expressionArit> ::= <terme> { <opAdd> <terme> }
    Noeud* expBool();     // <expBool> ::= <relation> { <opBool> <relation> }
    
    Noeud* terme();       // <terme> ::= <facteur> { <opMult> <facteur> }
    Noeud* facteur();     // <facteur> ::= <entier> | <variable> | <opUnaire> <expBool> | <expBool>
    Noeud* relation();    // <relation> ::= <condition> { <et> <condition>}
    Noeud* condition();   // <condition> ::= <expression> { <opRel> <expression> }
    
    Symbole opRel();       // <opRel> ::= == | != | < | <= | > | >=
    Symbole opUnaire();    // <opUnaire> ::= - | non
    Symbole opAdd();       // <opAdd> ::= + | -
    Symbole opMult();      // <opAdd> ::= * | /

    // outils pour se simplifier l'analyse syntaxique
    void testerSymCour (string ch);  // si symbole courant != ch, erreur : on arrete le programme, sinon rien
    void sauterSymCour (string ch);  // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on arrete
    void erreur (string mess);      // affiche les message d'erreur mess et arrete le programme
};

#endif /* LECTEURPHRASEAVECARBRE_H_ */
